Abstract syntax - PDFSEARCH.IO - Document Search Engine

Abstract syntax
Results: 599

#	Item
111	TERMINATION FOR HYBRID TABLEAUS THOMAS BOLANDER AND PATRICK BLACKBURN Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨ uner [5]. Their paper gives Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2007-04-02 08:29:00 Formal languages Logical syntax Philosophical logic Method of analytic tableaux Interpretation Entailment Modal logic Model theory Symbol Logic Metalogic Propositional calculus
112	INTERNATIONAL TELECOMMUNICATION UNION STUDY GROUP 17 TELECOMMUNICATION STANDARDIZATION SECTOR Add to Reading List Source URL: www.pragmadev.com Language: English - Date: 2009-11-13 10:44:47 Data modeling Formal methods Finite-state machine Unified Modeling Language Abstract Syntax Notation One Diagrams Specification and Description Language Software engineering
113	Seamless Migration from TTCN-2 to TTCN-3 A Spirent Company TTtwo2three Full Translation Service from TTCN-2 to TTCN-3 Technology Add to Reading List Source URL: www.testingtech.com Language: English - Date: 2014-03-14 07:35:53 Test suite Computing Technology Software testing TTCN Abstract Syntax Notation One
114	Business Justification for the development of variants of existing ISOMessage Definitions Note 1: the purpose of this document is to give guidelines to organisations that want to develop a candidate ISOvar Add to Reading List Source URL: www.iso20022.org Language: English - Date: 2015-03-23 04:36:42 Electronic documents Financial regulation ISO 20022 Abstract Syntax Notation One Internet ISO standards Reference Email Market data Computing
115	On the Concept of Variable Roles and its Use in Software Analysis Yulia Demyanova, Helmut Veith, Florian Zuleger Vienna University of Technology Abstract—Human written source code in imperative programming languages ex Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-10-18 10:27:57 Type theory Variables Environment variable C programming language C syntax Computing Software engineering Data types
116	GUARDED TRANSFORMATION FOR THE MODAL µ-CALCULUS FLORIAN BRUSE, OLIVER FRIEDMANN, AND MARTIN LANGE Abstract. Guarded normal form requires occurrences of fixpoint variables in a µ-calculus-formula to occur under the scop Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-05-03 12:27:57 Mathematical logic Metalogic Well-formed formula Conjunctive normal form Polynomial Parity Physics Formal languages Logical syntax
117	Functional and Structural Analysis of an Urban Space Extended from Space Syntax Ines Jguirim, David Brosset, and Christophe Claramunt Abstract—Space syntax provides a set of empirical theories and computational techniq Add to Reading List Source URL: geoanalytics.net Language: English - Date: 2014-08-12 09:38:49 Networks Network analysis Architectural theory Centrality Betweenness centrality Spatial network Space syntax Network science Graph theory Network theory Mathematics
118	Inaccessible Augmentations: Ambient Displays’ Two Sides of Space Tasos Varoudis Abstract Add to Reading List Source URL: www.cs.tut.fi Language: English - Date: 2013-03-14 15:17:40 Environmental psychology Architecture Ambient music Urban design Virtual reality Reality Space syntax Ambient calculus Geography User interface techniques Ambient intelligence Architectural theory
119	Business Justification for the development of new ISOfinancial repository items Note: the purpose of this document is to give guidelines to organisations that want to develop new candidate ISOmodels. Such r Add to Reading List Source URL: www.iso20022.org Language: English - Date: 2015-05-15 03:24:05 Email Electronic documents Abstract Syntax Notation One Computing Internet Information Market data Financial regulation ISO 20022
120	What exactly is wrong and why? Tutorial Dialogue for Intelligent CALL Systems Manfred Klenner (Zurich) / Henriëtte Visser (Heidelberg) Abstract We introduce a dialogue-based explanation facility for Intelligent CALL (IC Add to Reading List Source URL: www.linguistik-online.de Language: English - Date: 2003-12-19 05:48:47 Artificial intelligence Parts of speech Syntax Grammatical gender Linguistic morphology Natural language processing German grammar Computer-assisted language learning Modified Newtonian dynamics Linguistics Science Grammar

UPDATE